perm filename AMSY7.GF[MF,ALS] blob sn#770529 filedate 1984-11-02 generic text, type T, neo UTF8
{`$α&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β ↔π∩p→
π#λ→F←λε→Mvp:→L⊗_2XO↔ 2⎇ λ`≡⊃h1[lFH7→n6_4→-V(⊂∃λU@⊂∪(∃ $λ
5H&PIt`)|!v07[NF00[-⊗`<Hλ4h)V(0λ∨x␈␈␈p@β∂x␈␈␈`β0αp⊂M@s (MAS08MAs0 @s0_↓@s0_αs0_α@s@_α@s@_αs0_α@s@_α@s@_α@s@_α@s hMCS0xNβs@xO@``_N`` N`` K@ 0_βA∪08∧↓308¬↓∪@0¬A∪@(εsP_π(D_∧⊂␈␈␈␈x ↓@␈␈␈␈p↓XpβfA)PεfaiXλ'P0αgP8α'@08α'0@↓g08↓g08↓f`00α'0_∧'↓y`πgα	X∧`i`αBI`↓B@IX↓C9`↓B`9`↓B`9X↓B`9`↓B`9`↓BYXλ'↓yXπg↓i`¬Qλ0λ?x␈␈␈p@α␈x␈␈␈`β0α⊂(Mα∪ PMC∪0hMA P MAp M@a ⊂M@a0λNs0_Ns0_Ns@_M@s@_Ns@_Ns@ π3@ ε@S@(¬@s@(¬sP0β↓∪@xNC3@`NBS`0"⊂`⊃∨␈x␈␈`↓ε←␈x␈␈@ε`β@yP¬fAiXλ&b)`αA@y`αBYp↓B I`↓B@I`↓B@I`↓B@IX↓B`9`↓B`9`↓B`9`↓B`9`↓B`9X↓B`9`↓B`9`↓B@9X↓B@9`↓B 9`↓BIX↓A`Y`↓A i`↓@A	Xε'↓9X¬'↓	`αQλ0λ←x␈␈␈pPβ∂x␈␈␈`β0α⊂(Mα∪0PMC∪0hMAP(M@a Na⊂⊂N↓↓λN↓∪@0Nα3P@Nα∪ HMB300Ns0_M@s@_Ns@ ¬@3@ ¬S@0β↓∪@xNC3@`NBS`0"⊂`⊃←␈x␈␈`↓ π?␈x␈␈@ε`∧AI@λ&"9X	fb9X∧`9`α↓@9`B :(↓g9X↓g9@ε&aYXπ'↓Y`ε( 9X↓g9`↓g9X↓e@⊂(↓f`  ↓fa→`∧'y`β' D !@#␈␈␈x␈@α
?␈␈x{@
@	A∪ @MBS0XMC30 α↓S0_∧↓∪0_∧@s@_¬30_Ns@_M@aPλNa@⊂Na0_Na  MA↓  N↓↓  N↓↓⊂(N↓ p0NA @8Nβ⊂_Nα` _NB 0_Nα0_O↓P_Rs@_G!@_M@a _MA↓⊂ N↓@P(NβsPhNβ∪PHO↓(D_∧@␈␈␈␈x ↓P␈␈␈␈p↓XH↓β`→Xαβ )Xβα`9`βB 9`βB 9pβα9hαA`9hα↓`9`α↓`9h↓A@9`↓A@9`↓A@9`↓A 9`↓A 9P@ 0(↓f`` α&`p_αg↓i`π'!Yh¬g`⊂↓g0(↓f`00α&`08α&@P8αf`P@αf`PPα'@X↓g pQλ0	∨x␈␈␈p@α␈x␈␈␈`β0↓@⊂∧@30hMCS@hNβ∪`HO@s@_Ns@_Ns0_Ns@_Ns@_M@s@_Ns0_Ns@_M@s@_LB3 `MC30pNβ3@⊂∧@(D_∧P␈␈␈␈x ↓H␈␈␈␈p↓X↓λA`→X¬&a9`¬'↓→hβg`9`↓g9`↓g9`↓f`9`↓g9`↓f`9`↓g9X↓g9⊂B9X↓A`9Xα↓@9`αA9`¬g!→`∧' ihα⊃λ0	?x␈␈␈p@β␈x␈␈␈`β0↓@λπ↓30⊂ε↓s0_¬α3@_∧B3@_∧α3@_βA3@_β↓∪@_α@s@_αs@_↓@s@_↓@s@_↓s0_↓s@_@s@0N↓s@@Nα30XN` 8N`08N`@8M@``@N`p@Na@M@a HMA↓0@MA↓`0Nb NB ⊂"⊂`∪∨␈x␈␈`↓ε␈␈x␈␈ ε`∧`YXβfa→X¬&a9X↓A IX↓A`9`↓A`9`↓A@9X↓A`9`↓A@9`↓A@)`↓A@→`↓f`9`↓g9`↓g9X↓g9`↓g9X↓C`→Xβα`9P¬A@YX&bi`
g0(¬i`d !@&␈␈␈x␈@α@∩?␈␈x␈
@π30⊂	30 λS@(πs@(εA∪@0ε↓∪@0¬A∪@8¬↓∪@8∧A3P8∧↓3@8βAS@@β↓S@@α@`⊂_N`⊂ α@`⊂_N`⊂(↓@` _N`  ↓@` _M@`0 ↓`0_N`0(@`0_N`@ @`0_N`@8αs@_α↓`@_N`P(α@s0_β↓ P_L 0_β↓` M@@ _∧@p MB↓λ∧↓s@8	↓s@0
↓S@(
A3P_@hD_∧p␈␈␈␈x(αλ␈␈␈␈p↓X↓D→X↓β`)X↓C@9`↓C 9`αβ9`αα`9`αα`9`αα@9`αα@9`αB 9`αB9`αB9`αB9`β↓@9`β↓@9X∧↓ 9`∧↓ 9`↓@ P_↓g0λα@`9`↓@@P⊂↓f`0_α@@9`↓APλ↓g0 ∧e`⊂_↓AA	X↓`00∧&a@βgpPβ'``αgPp↓g 1Qλ0	␈x␈␈␈pPβOx␈␈␈`β0α (Mα∪0HMC∪0pMA0@M@`@PM@`PPM@``λαA∪0_εA3@_π↓∪0_πA∪@_πA∪0_λ@s@_λ@s0_λ@s@_λ@s@_λ@s@_λ@s@_λs@_λs@ πs@ εA∪@(¬A∪@8β↓SQλN∧∪PhNBs`0"⊂`∀∨␈x␈␈`↓ε←␈x␈␈@ε`βA→Hπ&b	X	'α)`β↓@ix↓BI`↓B 9`↓B 9`↓B 9`↓B 9X↓B 9`↓BI`↓A@Y`↓@`y`ε&aI`¬'↓	`αf`9`↓f`9`↓f`9Xα&`IXα'9`↓⊃λ0
∨x␈␈␈pPβox␈␈␈@β α00Mα3 XMA 00MA@@M@`PPM@``⊂α↓∪0_πs@_π↓∪0_πA∪@_λs0_λ@s@_λ@s@_λs0_λ@s@_λ@s@ πA∪@ π@sP ε@s@ ¬A3P(βASAλNCs``PA3⊂8Lα3↓αA∪1PNε508"⊂`∀←␈x␈␈`↓π?␈x␈␈@ε`βA)PεfayXλgα→`αA`Yp↓BY`↓B I`↓B I`↓B 9`↓B 9`↓B 9X↓BI`↓A@Y`↓@`y`ε&aI`¬'↓	`∧f`0λβg0⊂βg0_βf`0(βA@→`↓A@p ↓&@@@ε&`@P¬&`@`∧'0pβ'!α⊃λ0
?x␈␈␈p`α␈x␈␈␈`β0α⊂ LB30PMC∪0hMA @(N`p M@a⊂_Na⊂⊂N↓↓λN↓∪@(N↓SP@Nα3PHNB3PHOASP(NA∩ λ¬s0⊂¬s0 ∧s@(β↓∪@pNβ3PXNB3P0"⊂`∃∨␈x␈␈`↓ λ∨␈x␈␈@ε`β@!eap(α&C)X
&c)`β@B	`↓β↓
H↓g9X↓g9`↓f`9`↓g9`↓f`9`↓g9`↓g9`↓g9`↓g9`αgY`αgIh↓⊃λ0
←x␈␈␈p@β∂x␈␈␈`β0↓_MA!@λMAA0⊂MAa _MB↓ _N@0_¬s@λαa⊂_P@a⊂_Na⊂_M@a _Na⊂_Na⊂_M@a _Na _M@a _Na _Na _M@a0_Na _Na _M@a0_N↓↓⊂ N↓↓⊂ N↓↓(↓@3@0α↓` ⊂NC⊂8Nα` 0Nα@0(NB@ O↓p⊂"⊂`∃←␈x␈␈`↓ π∨␈x␈␈@ε`α IPβC→X∧B@9X¬BI`¬BY`↓↓`8αh`P@α' @@α'@H↓g 0H↓g@@↓g@@↓g@8↓g@8↓g 08↓g00↓g00↓g00↓g0(↓g0(↓g0 ↓g0_↓g0⊂↓g0⊂↓gy`β'Y`α'9`Qλ0
␈x␈␈␈pP∧?x␈␈␈`β0↓⊂ M↓a0λ∧30H∧@@p⊂MBA_β↓∪@P∧`` N@@(β@`` QAp_β↓∪@ βA`_N↓`(βsP_β↓ `_N``(βs@_αA@P_N`P0α@s@_αA@P_N`@_@`P_N`0_↓`@_N`0_↓`@_N` _↓`P_M@`0_↓`@_N` _↓@`0_N`⊂_α`0_N`⊂_α` _N↓@P_@s@(β↓s0(β↓s@ βAS@ βA3@_∧↓∪@⊂∧@S@λ¬(D_¬@␈␈␈␈x(↓x␈␈␈␈p↓Xh↓CIXαB iXβA`yX∧↓!	`∧@a	`@`P⊂αh @λα'@λ↓g i`αgI`α'9`↓f`I`↓g9`↓f`I`α'IXβ&`y`∧&@@λβA)HβaIXβ↓↓IXβ↓A)`αB↓	`↓CD !@,␈␈␈x␈@↓@∞?␈␈x{@
@∧A∪0(π@308ε@S0@εs@@¬@s@λ↓A↓0_P@a0_Na  M@a0_Na0_Na  Na  Na _Na⊂ M@a  Na⊂(Na⊂ Na(MAp0N↓p0N↓ P0Nβ⊂_NB@ _Nα 0_NA`0_NA @_Rs@_M@qpλεs0_¬s00β↓∪@xNβSP`NBS`0"⊂`⊗←␈x␈␈`↓π␈␈x␈␈@ε`π`_P¬↓ IX
&bIX
'α9`BA
X↓f`9X↓f`9X↓f`9X↓f`9X↓f`9X↓f`9X↓f`9X↓f@IX∧B )X
fbiX&bi`α↓a→`Qλ0∂x␈␈␈p@βP↓⊂↓ APNεHD_0␈␈␈␈x_↓p␈␈␈␈p↓P↓↓')`↓')`↓')`↓')`↓')`↓')`↓#cI`∞* )`↓')`↓')`↓')`↓')`↓')`↓#cI`∞⊃λ0↓∂x␈␈␈p0βox␈␈␈0αp↓P@Mβ∪ (↓@ (MA@⊂α↓∪0_β@`_M@`p⊂β@s0_∧A_NA⊂⊂∧@S0_∧@A⊂_NA ⊂¬S0_¬A _NA0⊂¬@S@⊂¬@A0⊂Nπ∪A`NA0⊂¬@S@⊂¬@A0⊂NA0⊂¬@S@_¬A _N@A ⊂¬S@_∧@A⊂_N@A⊂⊂∧@S@_∧A_N@`p⊂β@sP_β@`_NA@⊂α↓∪P(↓@ (Oβ∪`@"⊂`α←␈x␈␈``π←␈x␈}`¬`β!	Pε&@P0αf`@Pα&`0p↓f`@pα&```β' ⊂↓B@0⊂↓&`0_↓B0_↓g (↓A@0(↓&`00↓A00↓g @↓@@0@↓' Hβα )`↓α@@P↓' X↓α`)`↓α@@P↓' Hβα )`↓α0⊂↓B)`↓A@0 ↓A@9h↓↓ 00↓A )`↓@`0@↓@`9h↓@0P↓@@)`ββihαβ@Ih↓C@9hαα@IhαA@Ypε'A∧ !@-␈␈␈x␈@↓@␈␈␈x␈@↓@B0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂Nb⊂_N@B⊂⊂Nap_NA↓0 NA p(Oβ3`H"⊂`↔∨␈x␈␈``ε?␈x␈␈`¬@αA→Pεf@P8αf`@Xα&`0x↓g!λ↓&`1λ↓g!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓'!_↓⊃λ0ox␈␈␈p0β∨x␈␈␈pα`↓P_Ns@_MA3@⊂@S0_@s@⊂↓@S0_↓@s@⊂α@S0_α@s@⊂β@S0_β@s@⊂∧@S0_∧@s@⊂¬@S0_¬@s@⊂ε@S0_ε@s@⊂π@S0_π@s@⊂λ@S0_λ@s@⊂	@S@⊂	@HD_¬x␈␈␈␈x_↓H␈␈␈␈x↓0_↓∧`)`↓∧`)`↓D 9h↓∧ )`↓C`9h↓β`)`↓C 9h↓β )`↓B`9h↓α`)`↓B 9h↓α )`↓A`9h↓↓`)`↓A 9h↓↓ )`↓@`9h↓`)`↓@ 9h↓ )`αg 9`↓g4 !@⊃␈␈␈x␈@αλ␈␈␈x|@@¬S@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NR`⊂α@@⊂N↓ ⊂↓↓∪P @@⊂ Oα∪P0NA∪P⊂NHD_α⊂␈␈␈␈x ↓λ␈␈␈␈H↓HP↓')Xα&`iX∧&@@λ↓ IXα@ ⊂α'  ↓↓*⊂↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓⊃λ0∧∂x␈␈␈p0¬0α↓ ⊂M@s@⊂M@s0_M↓∪"0N	S` OsP_N@S@_N@HD_αλ␈␈␈␈x_α@_↓α↓'9h↓'9h↓g G`∪'∧k`α&`9X↓g)X↓g$ !@∩?␈␈x␈@↓@∀↓@λ¬B@⊂M@b@_NB`⊂M@b`_M@c_M↓β  M	SB0O↓β  Oc_N@b`_N@B`⊂Nb@_N@B@⊂"⊂`ε←␈x␈␈`↓π?␈x␈␈@¬ β"→H
&`YX↓f`9X↓f`9`↓&`9`↓')`↓')`↓')`↓g )`↓g 9h↓g 9hαg"IxλQλ0β?x␈␈␈p@β←x␈␈␈`αPAλN¬∃@(O@sP_N@sP_N@S@_N@S@⊂NS@⊂NS@⊂M@s@⊂M@s0_M@s0_LA1A N∧(D_β⊂␈␈␈␈x_↓H␈␈␈␈h↓0↓¬%ayP∧&`IX↓f`9X↓f`9`↓')X↓g)`gαy`↓')`↓g )`↓'9h↓g 9h↓g IhλgAt !@
?␈␈x␈@α∞␈␈␈x|@

@s (M↓3 (M↓3 (M↓3 (M↓3 (M↓3⊂0N↓∪@0OA3`(O↓3`(O↓3`(O↓3`(O↓3`(OpT(βεSAP"⊂`¬?␈x␈␈`↓π?␈x␈} ε@↓9`αg@Ypαg@Ypαg@Ypαg@Ypαg@Ypβ'@IPβ&@YPαf@YPαf@YPαf@YPαf@YPαg4(βFSAP"⊂`∧?␈x␈␈``π@∧`cI`∞⊃ q`NπλP8∞'βD !@≤?␈␈x␈@@?␈␈x␈@@@B@⊂NB@⊂Nb _N@B ⊂Nb_N@B⊂Na`_N@A`⊂N∧SQNA@⊂Na _N@A ⊂Na_N@A⊂N``_N@@`⊂N@`⊂N`@_N@@@⊂N` _N@@ ⊂N↓SP N↓∪P⊂NHD_βH␈␈␈␈x_↓(↓H_	gα:h↓')`↓')`↓')`↓')`↓'(`	'α*`↓')`↓')`↓')`↓')`↓'(X	gα4 !@≥?␈␈x␈@↓@@↓@ε@↓EsA8X@S@⊂NS@⊂NS@⊂NS@⊂NHD_εp␈␈␈␈x⊂↓λ␈␈␈␈0↓`⊂↓')`↓g )`↓g )`↓'9h↓')`↓g )`↓g )`↓'9h↓')`↓g )`↓g )`↓'9h↓')`↓g )`↓g )`↓'9h↓')`↓g )`↓g )`↓⊃λ0∨x␈␈␈p@↓⊂p↓@P MAS@0N↓S@0NAλD_(␈␈␈␈xλ↓ ↓⊂P↓&`IXβ&`0⊂↓f`0 ↓f`00↓f`0@↓f`0P↓f@@`α'0p↓g 0`α' 0P↓g 0@↓g 00↓g 0 ↓g 0⊂↓g ihα' $ !@3?␈␈x␈@αλ␈␈␈x{@∞π@s (M↓30 MA∪@ N↓∪@ N↓∪@ N↓∪@ N↓∪@ N↓∪@ MA∪ (M↓3@(O↓3` NA∪@ N↓∪@ N↓∪@ N↓∪@ N↓∪@ N↓∪@ NA∪P(O↓3`_"⊂`→␈␈x␈␈`↓∧?␈x␈⎇`π↓9`αg@Ypα' I`α'I`α'I`α'I`α'I`α'I`α' Ihαg@Y`αf@YXα&`I`α'I`α'I`α'I`α'I`α'I`α&`IPαf@Y`↓Qλ0
/x␈␈␈p`␈x␈␈}`β@`⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂"⊂`?␈x␈␈``
∧α!`β&A@@¬&a`(π&`@ ∧`` αf`0@β@ P@α' P¬α`IX↓Bah↓g hβC@)`↓β@`p↓' pβC )`↓C!X↓g@X¬α@)hααPλβB9hαA`_∧↓I`π↓!ip¬α↓Ipββ↓∧ !@9␈␈␈x␈@↓@	?␈␈x|@@εA∪08N↓s0@Nα∪@_@s0 N↓∪@_Ns@_Ns0 N↓∪@ N↓∪@ N↓∪@ N↓∪@ Ns@_Ns@_MA∪@ L`⊂_MB∪@@N↓s@8O↓λD_⊂␈␈␈␈x8↓P␈␈␈␈x↓_8↓∧)`↓C@9h↓C9h↓B@9h↓B9h↓A@9h↓A9h↓@@9hβ' Ih↓&`IXβ&`0⊂↓f`0 ↓f`00↓f`0@↓f`0P↓f`0`↓f`0p↓g!↓⊃λ0?x␈␈␈p@α⊂ α⊂↓ _Ns@_NR`_↓@@0_N↓ ⊂⊂A3@pOαS`0MαS pN↓ ⊂⊂A3@_↓@@0_Qs@_NhD_ ␈␈␈␈x_↓p␈␈␈␈p↓(xα&`i`β'i`β' I"AβI`∞*λP α&`i`β'i`β' D !@β␈␈␈x␈@↓@∂?␈␈x|
↓G∪A`T@S@⊂NS@⊂NS@⊂NS@⊂NS@⊂NQq`Nπ∃⊂⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NHD_H␈␈␈␈x_↓p␈␈␈␈X↓8h∧&AIPαA@YXαα@IX↓C@9X↓D9X↓D@9`↓¬)X↓E9`↓¬@)X↓E@9`↓ε)`↓ε)`∞'βI`↓ε)`↓ε)`↓ε)`↓E@9h↓¬@)`↓E9h↓¬)`↓D@9h↓D9h↓C@9hαα@IhαA@Ypε'A∧ !@¬␈␈␈x␈@↓@∂?␈␈x⎇@@εB∪ `M↓ `(MA↓  M@a`_M@ap M@ap0NAp_↓S0_π`0_NA`_α@S0_ε@``_NAP_∧S@⊂εa⊂⊂NA0_¬S@⊂¬@A0⊂NA _¬@S@⊂∧@a@⊂NA_ε@S@_βaP_N@@P_πS@_↓@a`_N@@ _π@S@0π@sP π@sP_πsP ¬↓∪P(β↓3``OαλD_`␈␈␈␈x_↓p␈␈␈␈X↓8h∧&AIPαA@YXαα@IX↓C@9X↓D9X↓D@9`↓¬)X↓E9`↓¬@)X↓E@9`↓α`0P↓' PαB )`↓α p@↓' HβB)`↓α p@↓' PαB )`↓α`0P↓'10↓g !0↓'1 ↓g ! ↓'1⊂↓g 1↓g 0p↓g @Pα' P0αgAIp∧⊃λ0↓←x␈␈␈p0¬∂x␈␈␈⊂β⊂α⊂PLD∪ 0∧↓S (π↓30 	↓∪0_s0_s0_
s0_∞s@⊂∂S0_∂s@⊂⊂S0_⊂s@⊂⊃S@⊂⊃S@⊂⊃S@⊂⊃S@⊂⊃S@⊂⊃S@⊂⊃S@_⊂sP⊂⊂S@_∂sP⊂∂S@_∞sP_
sP_sP_sP 	↓∪P(π↓3`0∧↓SaOBHD_p␈␈␈␈x_↓⊂⊂↓@β&A)Xα↓IX↓B9`↓α@)X↓B@9`↓β)`↓β)`↓β)`↓B@9h↓α@)`↓B9hα↓Ih¬'@d !@π␈␈␈x␈@↓@	↓λ∧↓S PMC∪0pNβS1N∧∪AN∧∪ANCS@pNC∪PPO↓HD_↓␈␈␈␈x_↓p↓⊂_↓ε)`α¬Ihα∧@Ipαβ@Ihβαipλ'a$(αBS⊃M↓A0MA↓` M↓α  MAα@ NC⊂"⊂`∧←␈x␈␈`↓π?␈x␈} ε@β"→P	f@YXα&`9X↓f`9`↓')X↓g)`↓')`↓')`↓g )`↓'9h↓g 9hα' Yp	gB→_"AC)`
⊃λ0α?x␈␈␈p@β←x␈␈␈⊂β AλN∧u@(O↓∪`_N@sP_N@S@⊂NsP⊂NS@⊂NS@⊂M@s@⊂NS0_M@s0_M↓∪ (F∧sAλ"Ac)`
⊃λ0αox␈␈␈p@β←x␈␈␈⊂β β@⊂NS@⊂M@s0_M@s0_M@s  LAS@Iβs@XNβt`@P↓Sp OsP_N@sP_N@sP⊂NS@⊂B⊃ aPNεHD_↓8␈␈␈␈x ↓h␈␈␈␈H↓P ↓')`↓'9h↓g 9h↓g 9hα' ip∧'az¬f↓yH∧&@iXα&`9X↓f`9X↓f`9`↓')`↓⊃ qPNεHD_↓@␈␈␈␈x_↓p(h8β∧)X∧β`)X↓A@h↓&`00αα`9`↓α @H↓&`0PαA@9`↓β @ ↓g x∧'!β⊃λ0β∨x␈␈␈p0β`α p0λS0@π@S0_α↓↓P⊂M@`` ¬@s@⊂∧A↓⊂⊂M@a (βs@⊂εA@_NAp@NB0P⊃ 0λS0@π@S0_α↓↓P⊂M@`` ¬@s@⊂∧A↓⊂⊂M@a (βs@⊂εA@_NAp@NB0"⊂`π∨␈x␈␈``
∨␈x␈␈ ¬@ε@ X↓&@@Hα&@P@αf@P@αf@P@αf@P@αf@P@αf@P@αf@P@αf@P@αf@P@αf@P@αf`@Hα'@Hα' P@αg@P@αg@P@αg@P@αg@P@αg@P@αg@P@αg@P@αg@P@αg@P@αg@@Hα'@ X↓⊃λ0β←x␈␈␈p0¬∂x␈␈␈Pα`0⊂¬@S@ ∧A∪P(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3`(∧↓3` ∧A∪@ ∧A∪ (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓3 (∧↓30 ∧A∪@⊂¬@HD_↓p␈␈␈␈x ↓h␈␈␈␈p↓(↓`↓')`↓&`9X↓f`9X↓f@IPαf i8∧e↓i`π)↓~λβ'`Ypα'@9h↓g 9h↓g )`↓'$ !@∂␈␈␈x␈@α∞␈␈␈x␈
@αS@⊂NS@_N@sP_N@sP NA3`0Oα3ppNβS⊂HM↓S (MA∪0_M@s0_M@s@⊂NS@⊂"⊂`	?␈x␈␈``
∨␈x␈} ε@π@)`α↓9h¬'@ypαf`iX↓@@)X↓@`)X↓A)X↓A )Pα↓@)Xα↓`)X↓f`9X↓f`9X↓f@IXα&`9X↓f`9X↓f@IXα&`9X↓f`9X↓f@IXα&`9X↓g$ !@∪?␈␈x␈@↓@∀?␈␈x|@↓@S@_N@sP NA∪`_N@sP_N@sP NA∪`_N@sP_N@sP NA∪`_N@sP_N@sP_NAp⊂NA`⊂O`P⊂N@`@⊂N@`0⊂N@` ⊂NASP(M↓s PMA@_NHD_α8␈␈␈␈x_↓pλ↓λ8β∧)X∧β`)X↓A@h↓&`00αα`9`↓α @H↓&`0PαA@9`↓β @ ↓g x∧'!β⊃ a`NπλD_α@␈␈␈␈x_α@␈␈␈␈x↓ ↓⊂↓&`9X↓g9X↓fCIX∞f@YPβ& yP∧'↓	pβg`ipαgCYh∞'@9h↓g9h↓g $ !@∀␈␈␈x␈@↓@∀?␈␈x␈@
S@_N@s@_N@pQ`Nπ6`(NAS`8NB∪@@MAs 0MA0!hNπ⊗0_M@s@_M@s@⊂"⊂`
←␈x␈␈`@ε?␈x␈} ε β )`↓&`I`α&`i`β'iX↓@@9Xα@I`↓A9Xα↓IXα↓@IXααIPβαiPα@  @↓ Y`α@ @↓@J⊂↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α)`↓α$ !@∃␈␈␈x␈@↓␈␈␈x|@@∧A⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂K↓ ⊂∧@  N↓ ⊂⊂∧@⊂(O↓A0O↓↓ NA` NA@ N@`@_N↓  N@` _NAS@0N↓SP N↓∪P⊂NHD_α`␈␈␈␈x_α@␈␈␈␈x↓ p↓β)`↓β)X↓C9`↓C9X↓C@9X&c	Xα∧@IPαEYPβ¬@iPβFy`βFypβ¬@ipαEYpα∧@Ih'"ih↓C@9h↓C9`↓C9h↓β)`↓β$ !@⊗␈␈␈x␈@↓@∀?␈␈x|@
εR0_α↓∪@PNAs@(N↓S@⊂↓s@⊂↓@s@⊂αs@⊂α@s@⊂β↓∪@⊂βA∀p_N@sP_N@sP_NA∪P OsP_N@sP_NA∪P OsP_N@sP_NA∪P OsP_N@HD_αp␈␈␈␈x_α@␈␈␈␈@↓Hα8↓&`9X↓f@IXα&`9X↓f`9X↓f@IXα&`9X↓f`9X↓f@IXα&`9X↓f`9X↓f`9λ↓↓`I`↓↓@I`↓↓ 9`↓↓9`↓`9`↓@9`β'Y`βfa)`↓AJ(↓⊃λ0¬␈x␈␈␈p0βPα↓8¬A∪0PβAS hαAs@ α↓@0(M@a(A∪0_¬α∪@_¬↓s@⊂ε↓3@⊂εA∪@⊂εA3@_¬As@_¬α∪P_∧↓⊂(N↓ @(↓ASP`αB∪PPβAs`0¬A(D_β␈␈␈␈x⊂Pλ↓ 8↓f`Y`αf`i`β'Y`αf`i`αgY`α&`Y`αgI`α&`Y`α'I`↓g4 !@→␈␈␈x␈@↓@␈␈␈x}@↓BS@xRB∀⊂ OsP_N@sP_N@S@⊂NsP⊂CEsA8X@S@⊂M@s@⊂NS0_M@s0_M@s  G∧3@x"⊂`
∨␈x␈␈``	ε@∧`)Xα'IXβ&`0⊂↓g  ↓&`0 ↓g 0↓&`00↓f`0@↓g P↓&`0P↓f`0`↓g p↓&`0p↓f`1↓g!⊂↓&`1⊂↓f`1 ↓g!0↓&`10↓g!@↓&`1@↓f`1P↓g!`↓&d)`⊃⊃λ0ε←x␈␈␈p0∧Ox␈␈␈α 2⊂NλSP⊂∞S@_
sP_sP⊂S@_sP⊂S@_
sP_	sP⊂	S@_λsP_πsP⊂πS@_εsP_¬sP⊂¬S@_∧sP_βsP⊂βS@_αsP⊂αS@_↓sP0NA∪@ N@HD_β0␈␈␈␈x8↓P␈␈␈␈@↓P↓H↓&`9`↓&`9`↓&`9`↓&`9`↓&`9`↓&`9X↓g)X↓g)X↓g)X↓g)X↓g)X↓f`9`↓&`9`↓&`9`↓&`9`↓&`9`↓&`9`↓⊃λ0ε␈x␈␈␈p0P0α0⊂NS@⊂NS@⊂NS@_Ns@⊂NS@⊂NS@⊂NHD_βX␈␈␈␈x_↓⊂␈␈␈␈h↓`x↓')X↓eA	P¬&`P⊂αg0(α&`@(αg@ β'0(↓ 9Xα↓  λα'@ ↓@ I`α↓ ⊂α'@ ↓@I`α`0⊂α'@_↓`I`α` _α'@⊂↓@`I`α@  α'@⊂↓↓I`α 0 α'@λ↓↓ Ih↓@  (↓g` α'P(α' @(↓gP⊂αg!)`∧&`9`↓'$ !@≡?␈␈x␈@↓@∂?␈␈x␈@
	AQp(βα3 H↓A⊂(MA0 @`00N`P0αAS@_αA p(N↓ @ βAS@0↓A p(NA 0(βASP(↓↓!0NA (∧A3P_↓↓!0N`!λN` xL@ _↓↓  (N@ _↓↓  (N↓@0(↓↓3P(↓A  (N@@P(↓↓40(↓↓3@(↓↓R0⊂βA 0(N↓P α↓3@ α↓ @(↓sP_α↓P(A∪P_↓↓`HNAa8NA! ("⊂`∂?␈x␈␈``π ε α↓→Pεf`P βf`@@β&`@Pβ↓9`↓C`_↓g0h¬g0h¬'Ih↓C`Y`αβ↓→hαB!9h∧↓`_↓g@` αA:0αgihαgh`βB@i`∧α@ixβB YhβBYpβ↓@ihβ@@yhπ'A$ !@∨?␈␈x␈@↓@∂@↓G∪A`T@S@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂"⊂`∂␈␈x␈␈``π@ε ∧)`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓#cI`∞⊃λ0λ∂x␈␈␈p0αpβ⊂@⊂¬@S0_¬s@_¬↓∪@ ∧A3@(∧↓sP(∧↓S@0∧↓SP0∧↓3P0βA3P0β↓30@α↓3@H↓@S0_↓↓@ ⊂N`00@S0 αα∪@ αAs@ β↓S@ βAS@(βASP(βAS@0βA3P(∧↓3P(∧↓∪@(∧@sH∧@s@@¬HD_¬h␈␈␈␈x_↓H␈␈␈␈x↓0_↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓α  @↓' H↓α)`↓α  @↓' H↓α)`↓α  @↓' H↓α)`↓Ap⊂↓' ⊂π@@)`↓α  @↓' H↓α)`↓α  @↓' H↓α)`↓α  @↓'0@↓↓`9h↓∧ )`↓C`9hαα`IhαA`YpεgA∀ !@0?␈␈x␈@↓@@@↓@S@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂N¬3A(NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂"⊂`_?␈x␈␈``¬`ε ¬@)`↓')`↓')`↓')`↓')`↓')`↓""Y`
k`)`↓')`↓')`↓')`↓')`↓')`↓⊃λ0/x␈␈␈p↓α∨x␈␈}`β@↓⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NαS@P"⊂`_␈␈x␈␈`@α␈␈x␈⎇@πα@)`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓') ¬'↓$ !@2?␈␈x␈@∧λ␈␈␈x{∞∧αS@PNS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NHD_ε(␈␈␈␈x⊂X␈␈␈␈0↓`⊂¬'↓* ↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓⊃λ0
∂x␈␈␈pP↓ox␈␈}pβ@↓P⊂NS0_NS0_NS0_NS0_NS@⊂M@s@⊂M@s@⊂M@s@⊂M@s@⊂NS@_N@S@_N@S@_N@S@_N@S@⊂NsP⊂NsP⊂NsP⊂NsP⊂NHD_εH␈␈␈␈x_`␈␈␈␈8↓`_↓')`↓g )`↓g )`↓g )`↓g )`↓'9h↓'9h↓'9h↓'9h↓')X↓g)X↓g)X↓g)X↓g)`↓&`9`↓&`9`↓&`9`↓&`9`↓'$ !@5␈␈␈x␈@α@λ?␈␈x{∞α@A⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂NA⊂"⊂`≠∨␈x␈␈`↓∧?␈x␈⎇@πα@)`↓&`IXβ&a	Pα  λα&`@⊂↓@I`↓↓  ↓(@)`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')0↓↓  ↓'@⊂↓@Ihα  λα'A	hβ' Ih↓'$ !@6␈␈␈x␈@↓␈␈␈x{∞ε@S@⊂MA∪@ MAS@0N↓S0_↓s0 ↓↓∪@_αs0 α↓∪0 β↓∪0 ∧↓∪ 0∧↓S (@A⊂A3@ ↓A⊂↓↓∀ ⊂∧S@⊂∧S@⊂∧S@⊂∧S@⊂∧S@⊂∧S@⊂∧R` ↓A⊂↓↓∪@(@A⊂A3`0∧↓S` ∧↓∪P β↓∪P α↓∪P_αs@ ↓↓∪P_↓sP0N↓S@0NA∪@ N@S@⊂"⊂`≠␈␈x␈␈``α?␈x␈␈ ¬ `I`αg@Ih↓gIh↓g9`↓g9`↓f`9Xα'9X↓g9X↓g9`↓g9`↓gIh↓gIhαg D !@8?␈␈x␈@↓@∩?␈␈xm@@⊃@S0_M@s@⊂M@s@⊂M@s@⊂M@s@⊂M@s@⊂M@s@⊂M@s@⊂M@s@⊂EAp_MA↓P_M↓AP⊂MB↓0_M@`⊂(¬@S@⊂↓↓A⊂_PA!⊂⊂N↓@p_NA p⊂N↓@P_NA P⊂N↓@0_NA 0⊂N↓@⊂_NA ⊂⊂Nα∪P0N↓SP N↓∪P⊂"⊂`≤?␈x␈␈` π@ε !@0ε'↓@0ε'↓@0ε(P`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αgP`αfβi`∂'βd !@9?␈␈x␈@↓@⊂?␈␈x␈@@↓GSApNG∪A`NFS@0λ@sP(λ@S@0π@sP(π@S@0ε@sP0¬@sP(¬@S@0∧@sP(∧@S@0β@sP(β@S@0α@sP0↓@sP(↓@S@0@sP(@S@@NAS@0NA∪@ N@HD_π ␈␈␈␈x_↓H↓(_↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`↓∧`)`gαt !@:␈␈␈x␈@↓@@
@↓EsA8NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂NB0⊂"⊂`≥←␈x␈␈`↓π?␈x␈} ε@↓β)`
')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`
'β$(βFSAP"⊂`≥␈␈x␈␈`↓π?␈x␈} ε@↓β)`
-)`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓')`↓'( 
'β$(βFSAP"⊂`≡∨␈x␈␈``∧∨␈x␈} ε ↓`iP∧f`P_↓f`P(↓g@(α'@(α'@0↓'Ihα'YpαgyPα@ Y`α↓IXα↓ Y`α↓@I`α↓@I`α↓@I`αA Ihα↓Ihα@ Ypβg@Ypαg Ihα% 0α&`@(α'@(α'0(αg 0_αg!→hβ⊃λ0∂∨x␈␈␈p0α∂x␈␈␈⊂β⊂↓⊂⊂MA∪@ N↓∪@ N↓∪P⊂KA⊂⊂A∪0pNβSP @@⊂ P@S@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂NS@⊂"⊂`≡←␈x␈␈``∧∨␈x␈} ε α )Xα'I`α'Ih↓%`@λ↓ IXπ'↓ihα  λα( )Xα'I`α'I`α' )Xα'I`α'Ih↓%`@λ↓ IXπ'↓ihα  λα( )Xα'I`α'I`α' $ !@=␈␈␈x␈@↓@␈␈␈x|@@¬βS⊃λMB` ⊂MC ⊂MC  ⊂Nβ  ⊂MC@ ⊂Nβ@ ⊂Nβ@ ⊂Nβ@ ⊂Nβ@ ⊂NC  ⊂Nβ  ⊂NC ⊂NB` ⊂NB@ ⊂OA` ⊂P@@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂N@ ⊂"⊂`∨∨␈x␈␈``π←␈x␈␈ε@β@iP¬&aI`ε&ai`π'↓iXλ'α	hπ'↓i`π&"IP'β	X
&cI`∞'βI`∞'βI`∞'βIh¬@  λ¬g↓0λ↓!9h¬  λ¬'!⊂↓A	pα@@@⊂αh`I`α'D !@>␈␈␈x␈@↓@∂?␈␈x}
λS0 N↓∪00M@` _N@@⊂M@`@_M@``_M@a_M@a _M@a@_M@a`_M@b_M@b _M↓α@ Nb`_N↓α@ Ob _N@b_N@a`_N@a@_N@a _N@a_N@``_N@`@_N@@@⊂N` _NASP N↓∪P⊂"⊂`∨←␈x␈␈``π←␈x␈␈`ε@αP@αfA⊂ ∧f`@_α@@_α&`08β↓`9`↓α @H↓&`0Hαα 9`↓α` X↓' X↓α`)`↓ε)`↓ε)`↓ε)`↓E@9h↓E9h↓¬)`↓D@9h↓D9h↓C@9h↓C9h↓B@9h↓B9h↓A@9h↓A9h↓↓)`↓@@9hβ' Ih↓'$ !@?␈␈␈x␈@↓@∂?␈␈x}
λS@⊂MA∪00N↓S0@MBS0`MCS1MDS1 MES1@Nε∪1PMG∪A`Nπ∪A`Nπ∪A`Nπ∪QPNα`⊂⊂BsPP@@⊂PNB ⊂↓α∪P(↓A0(R↓∪@ N↓λO@ε{_≤j$+↔⊂↓*βX↓*βXλα@␈␈␈⎇X↓`{λ@p]9 εc↑`λh↓2e⊂αa⊂{@λ@p]9 -}`_↓0α4i8β⊃p{↓λ@p]9 Z}`(↓0α4i8αcX{↓@λ@p]9 εk}`8α⊂βW.(β~@{αλ@p]9 π↓↑`Hα⊂βW.(β∨x{α@λ@p]9 π.>`Xα⊂βW.(β( {βλ@p]9 
J}`hα`∧Y2Hβ<⊂{β@¬@HS%`∞⊗}`x↓0α4i8βJ`{∧λ@p]9 ∞9}aλα⊂βW.(αGh{∧@λ@p]9 ∞M>a_α⊂βW.(βXP{¬λ@p]9 	u≡a(α⊂βW.(αBH{¬@λ@p]9 ∞w↑a8α⊂βW.(βc_{ελ@p]9 ∂!}aHα⊂βW.(βm⊂{ε@λ@p]9 	:>aXα⊂βW.(α30{π↓⊂eJ ∂S>ahα`∧Y2Hβ⎇⊂{π@λ@p]9 ⊂∃}axα⊂βW.(∧
 {λ↓⊂eJ 		↑bλα`∧Y2Hα%x{λ@¬@HS%`λn}b_↓0α4i8α∃{	↓⊂eJ 	&≡b(α`∧Y2H∧∂λ{	@↓⊂eJ ⊂X≡b8α⊂βW.(∧≤x{
↓⊂eJ ⊃π}bHα`∧Y2H∧&@{
@ε`XW. ⊃,>bX↓XαukH∧4`{↓⊂eJ ⊃y}bhα`∧Y2H∧E {@↓⊂eJ ∩0}bxα⊂βW.(∧S⊂{β(*T∩f}cλα`∧Y2Hα⎇({@π@`Y4@	`}c_↓pβ⊗-⊂∧↑{
	`↓aA`∪>c(α8∧_08∧jp{
@∪J}c8∧xp{∞ε PU,
*≡cH↓HαU+αR_{∞@π@`Y4@
]≡cX↓0α4i8∧|8{∂λh[6`∀≠≡chαβ6mX¬∩H{∂@λ@p]9 ∀i≡cxα⊂βW.(¬∨({⊂ε`XW. ∃⊃↑dλ↓pβ⊗-⊂α_{⊂@ε@Xαα 9}d_↓`α|⊃X⊗⊂{⊃ε Pc|@s>d(↓@αE	X$p{⊃@¬@H>}`↓->d8↓pβ≠w81@{∩ε`XW. ↓j}dH↓0α4i8CP{∩@¬ @⎇⎇`α%}dXαβ6mXOP{∪λh[6`αa>dhαH∧8r←@{∪@λh[6`β-}dx↓hβ⊃"8uP{∀¬`Pβw>eλα(βwop↓∧P{∀@λ@p]9 ∧3>e_↓8αCε8↓∃⊂{∃ε@Xαk@∧o>e(↓hβ⊃<X↓!p{∃@π `Er`¬.>e8α βr␈8↓4⊂{⊗λh[6`ε∧}eH↓pβ≤S⊂↓H`{⊗@λh[6`εK>eX↓pβ⊗-⊂↓w {↔π@`Y4@π{>eh↓pβ⊗-⊂¬,x{↔@π@`Y4@λ→↑ex↓pβ⊗-⊂α
X{_ε`XW. ∃Y≡fλ↓XαukH¬;({_@¬@Q#@⊗↓↑f_↓ α∀(p¬Gλ{→¬@Q#@⊗7≡f(↓ α∀(p¬T8{→@¬@HS%`&≡f8↓0α4i8αpλ{~∧@8O≥ ⊗l↑fH↓⊂↓sg(¬aX{~@β (K∀@Z↑fX↓0α4i8¬h {≠¬@HS%`↔O>fh↓XαukH¬|{≠@¬ H∩$@
i}fxh↓2e⊂εεh{≤	x>}`_/≡gλαλβCn(ε∀H{≤@	 x←?@_r≡g_↓0α4i8β¬ {≥π@`Y4@→∞}g(↓pβ⊗-⊂ε*`{≥@λ@p]9 →G>g8α⊂βW.(ε7λ{≡¬@Q#@→q>gH↓ α∀(pεDP{≡@¬@Q#@~,>gX↓XαukHεR{∨λ@p]9 ~o>ghα⊂βW.(εb`{∨@λ@p]9 ≠->gxα⊂βW.(εt@|@β8Y`;⎇xow{⎇x